Projective Brane Calculus
نویسندگان
چکیده
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also obtains a symmetric set of membrane interactions. An associated structural congruence, termed the projective equivalence, is defined and shown to be preserved under all possible system evolutions. Comparable notions of projective equivalence can be developed in other hierarchical process calculi and might be of interest in other applications.
منابع مشابه
Modal Logics for Brane Calculus
The Brane Calculus is a calculus of mobile processes, intended to model the transport machinery of a cell system. In this paper, we introduce the Brane Logic, a modal logic for expressing formally properties about systems in Brane Calculus. Similarly to previous logics for mobile ambients, Brane Logic has specific spatial and temporal modalities. Moreover, since in Brane Calculus the activity r...
متن کاملDynamics, Cosmic Acceleration and Horizons on the Brane
We apply methods of dynamical systems to study the behaviour of the Randall-Sundrum models with various perfect fluid matter on the brane. We reduce the dynamics to a 2-dimensional Hamiltonian system and study its behaviour for various ranges of parameters. The construction of the Hamiltonian is very advantageous and can be applied for quantum cosmology on the brane. The dynamics is studied in ...
متن کاملNoncommutative Differential Calculus for D - brane in Non - Constant B Field Background Pei - Ming Ho , Shun -
In this paper we try to construct noncommutative Yang-Mills theory for generic Poisson manifolds. It turns out that the noncommutative differential calculus defined in an old work is exactly what we need. Using this calculus, we generalize results about the Seiberg-Witten map, the Dirac-Born-Infeld action , the matrix model and the open string quantization for constant B field to non-constant b...
متن کاملImplementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé and Phillips. The nested structure of membranes is flattened into a set of species where the hierarchical structure is represented by means of n...
متن کاملSpherically Symmetric Solutions in a New Braneworld Massive Gravity Theory
In this paper, a combination of the braneworld scenario and covariant de Rham-Gabadadze-Tolley (dRGT) massive Gravity theory is proposed. In this setup, the five-dimensional bulk graviton is considered to be massive. The five dimensional nonlinear ghost-free massive gravity theory affects the 3-brane dynamics and the gravitational potential on the brane. Following the solutions with spherical s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004